Resolution theorem proving

[计] 归结定理证明

🧩 词语组成解析

resolution [,rɛzə'luʃən]

n. 决心;解决;坚决;分辨率;

re不+solut松开+ion名词后缀，构成抽象名词 → 决心；溶解

theorem ['θiərəm]

n. [数] 定理;（能证明的）一般原理，公理，定律，法则;

theor考虑 + em获得→考虑后获得的结果 → n.[数]定理, 法则

proving

[计] 验证, 证明\\n[医] 药力试验(顺势疗法的名词)

🗣️ 情景例句

Yes. It's the anniversary of one of our important revolutionary movements.

是的。它是中国一个重大革命运动的纪念日。

Deeds,not words.

要行动，不要言词。

The children pulled the boat up from the water. Then they started to look around the island.

孩子们把船从水中拉了上来。然后他们开始察看海岛的四周。

更多情景英语 ›

🔤 更多 R 开头的单词

raise a claim

rangel

reconstituting

red wolf

repeat address

resumption of nationality

rhenium hexafluoride

riser bush

全部 R 开头单词 ›